<html>
<head><meta charset="utf-8"><title>Representing types in rustc lecture discussion · t-compiler/wg-rustc-dev-guide · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/index.html">t-compiler/wg-rustc-dev-guide</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html">Representing types in rustc lecture discussion</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="176467753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176467753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176467753">(Sep 24 2019 at 14:17)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1380">@WG-learning</span> hi everyone, today in like ~5hs we are having the representing types discussion and questions gathering</p>



<a name="176467807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176467807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176467807">(Sep 24 2019 at 14:18)</a>:</h4>
<p>who was able to watch the lecture and take some notes?</p>



<a name="176467839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176467839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176467839">(Sep 24 2019 at 14:18)</a>:</h4>
<p>we can start sharing things here to discuss if needed</p>



<a name="176471100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176471100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176471100">(Sep 24 2019 at 14:51)</a>:</h4>
<p>Here the YT link: <a href="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;t" target="_blank" title="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;t">https://www.youtube.com/watch?v=c01TsOsr3-c&amp;t</a></p>
<div class="youtube-video message_inline_image"><a data-id="c01TsOsr3-c" href="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;t" target="_blank" title="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;t"><img src="https://i.ytimg.com/vi/c01TsOsr3-c/default.jpg"></a></div>



<a name="176474990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176474990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176474990">(Sep 24 2019 at 15:27)</a>:</h4>
<p>The problem I have is that I know so little about the system that watching it one time or so basically just flows above my head.</p>



<a name="176475054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176475054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176475054">(Sep 24 2019 at 15:28)</a>:</h4>
<p>Still would love to have a discussion to see what others discovered or had questions about.</p>



<a name="176475142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176475142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176475142">(Sep 24 2019 at 15:28)</a>:</h4>
<p>It is almost like someone showing me Maxwell's equations. What questions can you have on those if you aren't privy to the depth and details. <span aria-label="lol" class="emoji emoji-1f606" role="img" title="lol">:lol:</span></p>



<a name="176475400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176475400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176475400">(Sep 24 2019 at 15:31)</a>:</h4>
<p><span class="user-mention" data-user-id="218647">@Amanjeev Sethi</span> write down questions, whatever they are, the most basic ones may make a lot of sense</p>



<a name="176475551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176475551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176475551">(Sep 24 2019 at 15:32)</a>:</h4>
<p>that's my suggestion, what the video, pause it, go back, watch it again and write down all the doubts you have</p>



<a name="176475678"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176475678" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176475678">(Sep 24 2019 at 15:34)</a>:</h4>
<blockquote>
<p>The problem I have is that I know so little about the system that watching it one time or so basically just flows above my head.</p>
</blockquote>
<p>Niko recommended me this book: <a href="https://www.cis.upenn.edu/~bcpierce/tapl/" target="_blank" title="https://www.cis.upenn.edu/~bcpierce/tapl/">https://www.cis.upenn.edu/~bcpierce/tapl/</a><br>
It's a solid intro to type theory</p>



<a name="176492901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176492901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176492901">(Sep 24 2019 at 18:39)</a>:</h4>
<p>I'll be there :)</p>



<a name="176497477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497477">(Sep 24 2019 at 19:30)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1380">@WG-learning</span> <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> everyone, meeting time!</p>



<a name="176497486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497486">(Sep 24 2019 at 19:30)</a>:</h4>
<p><span aria-label="hello" class="emoji emoji-1f44b" role="img" title="hello">:hello:</span></p>



<a name="176497518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497518">(Sep 24 2019 at 19:31)</a>:</h4>
<p>so ... did people have a chance to watch the lecture?</p>



<a name="176497568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497568">(Sep 24 2019 at 19:31)</a>:</h4>
<p>I have watched it but the 54:54 takes much longer to even remotely follow for me.</p>



<a name="176497575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497575">(Sep 24 2019 at 19:31)</a>:</h4>
<p>But I realized a thing</p>



<a name="176497578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497578">(Sep 24 2019 at 19:31)</a>:</h4>
<p>I did, but only once, meaning not enough times</p>



<a name="176497632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497632">(Sep 24 2019 at 19:32)</a>:</h4>
<p>I feel that it would have helped me more to see the flowchart and then pick each component and dig deeper.</p>



<a name="176497640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497640">(Sep 24 2019 at 19:32)</a>:</h4>
<p>Same</p>



<a name="176497648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497648">(Sep 24 2019 at 19:32)</a>:</h4>
<p>Right now I feel like I am watching the video again and again to try to get the gist but keep getting lost into the details.</p>



<a name="176497663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497663">(Sep 24 2019 at 19:32)</a>:</h4>
<p>(I need to I mean)</p>



<a name="176497674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497674">(Sep 24 2019 at 19:32)</a>:</h4>
<blockquote>
<p>Same</p>
</blockquote>
<p>Same to what? :)</p>



<a name="176497698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497698">(Sep 24 2019 at 19:33)</a>:</h4>
<p>Same as Tshepang :)</p>



<a name="176497700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497700">(Sep 24 2019 at 19:33)</a>:</h4>
<p>I have one short question, what does 'morally' mean? :p I infer 'more or less' but I couldn't find references on the internet</p>



<a name="176497738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497738">(Sep 24 2019 at 19:33)</a>:</h4>
<p>I had the <code>morally</code> question as well</p>



<a name="176497748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497748">(Sep 24 2019 at 19:33)</a>:</h4>
<p>hehe, I saw Niko using that phrase</p>



<a name="176497784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497784">(Sep 24 2019 at 19:34)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> you were in the lecture! <span aria-label="lol" class="emoji emoji-1f606" role="img" title="lol">:lol:</span>  You do not count as someone watching the video.</p>



<a name="176497850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497850">(Sep 24 2019 at 19:34)</a>:</h4>
<p>I have one more question though</p>



<a name="176497859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497859">(Sep 24 2019 at 19:34)</a>:</h4>
<p>I guess what he meant is that more or less, removing some complexity, this thing is the same as this other thing</p>



<a name="176497869"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497869" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497869">(Sep 24 2019 at 19:34)</a>:</h4>
<blockquote>
<p>I have one short question, what does 'morally' mean? :p I infer 'more or less' but I couldn't find references on the internet</p>
</blockquote>
<p>"more or less" is probably right</p>



<a name="176497914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497914">(Sep 24 2019 at 19:35)</a>:</h4>
<p>Sorry, how is it more or less?</p>



<a name="176497957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497957">(Sep 24 2019 at 19:35)</a>:</h4>
<blockquote>
<p>I guess what he meant is that more or less, removing some complexity, this thing is the same as this other thing</p>
</blockquote>
<p><span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span></p>



<a name="176497977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176497977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176497977">(Sep 24 2019 at 19:35)</a>:</h4>
<p>maybe can we talk about one of his specific examples?</p>



<a name="176498035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498035">(Sep 24 2019 at 19:36)</a>:</h4>
<p>like let's point to the right moment when he does that and explain one in particular</p>



<a name="176498039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498039">(Sep 24 2019 at 19:36)</a>:</h4>
<p>otherwise would be too abstract</p>



<a name="176498060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498060">(Sep 24 2019 at 19:36)</a>:</h4>
<div class="codehilite"><pre><span></span>        - &amp;&#39;tcx [Ty&lt;&#39;tcx&gt;] “morally 1.0”
        - &amp;&#39;tcx [Kind&lt;&#39;tcx&gt;] “morally 2.0” — kinds are either types or regions
</pre></div>



<a name="176498123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498123">(Sep 24 2019 at 19:37)</a>:</h4>
<p>I'd say "think of it as 1.0"</p>



<a name="176498186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498186">(Sep 24 2019 at 19:38)</a>:</h4>
<p>let's link the youtube video at that time</p>



<a name="176498195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498195">(Sep 24 2019 at 19:38)</a>:</h4>
<p>I'm looking for that specific part</p>



<a name="176498239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498239">(Sep 24 2019 at 19:38)</a>:</h4>
<p>btw, are we 30m or 60m?</p>



<a name="176498254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498254">(Sep 24 2019 at 19:39)</a>:</h4>
<p>former probably too small</p>



<a name="176498271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498271">(Sep 24 2019 at 19:39)</a>:</h4>
<p>the idea was 30mins</p>



<a name="176498303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498303">(Sep 24 2019 at 19:39)</a>:</h4>
<p>Q: Is there a flowchart for this process? If not, do you think it will be beneficial?</p>



<a name="176498403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498403">(Sep 24 2019 at 19:40)</a>:</h4>
<p>I don't think so</p>



<a name="176498420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498420">(Sep 24 2019 at 19:41)</a>:</h4>
<p>but yes, I think it is beneficial</p>



<a name="176498428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498428">(Sep 24 2019 at 19:41)</a>:</h4>
<p>would a flowchart apply, given the "representing types" title?</p>



<a name="176498530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498530">(Sep 24 2019 at 19:42)</a>:</h4>
<p>I guess <span class="user-mention" data-user-id="218647">@Amanjeev Sethi</span> meant how is a flow of the different phases to end getting the specific type</p>



<a name="176498537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498537">(Sep 24 2019 at 19:42)</a>:</h4>
<p><a href="https://youtu.be/c01TsOsr3-c?t=1223" target="_blank" title="https://youtu.be/c01TsOsr3-c?t=1223">https://youtu.be/c01TsOsr3-c?t=1223</a> is more or less where the discussion regarding generic substitution mentions  SubstRef</p>
<div class="youtube-video message_inline_image"><a data-id="c01TsOsr3-c" href="https://youtu.be/c01TsOsr3-c?t=1223" target="_blank" title="https://youtu.be/c01TsOsr3-c?t=1223"><img src="https://i.ytimg.com/vi/c01TsOsr3-c/default.jpg"></a></div>



<a name="176498554"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498554" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498554">(Sep 24 2019 at 19:42)</a>:</h4>
<p>like in particular at the end the substitution part</p>



<a name="176498592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498592">(Sep 24 2019 at 19:43)</a>:</h4>
<blockquote>
<p><a href="https://youtu.be/c01TsOsr3-c?t=1223" target="_blank" title="https://youtu.be/c01TsOsr3-c?t=1223">https://youtu.be/c01TsOsr3-c?t=1223</a> is more or less where the discussion regarding generic substitution mentions  SubstRef</p>
</blockquote>
<p><span class="user-mention" data-user-id="209053">@Iñaki Garay</span> sorry, didn't get what you meant</p>



<a name="176498731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498731">(Sep 24 2019 at 19:44)</a>:</h4>
<blockquote>
<p>I'd say "think of it as 1.0"</p>
</blockquote>
<p>this part</p>



<a name="176498737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498737">(Sep 24 2019 at 19:44)</a>:</h4>
<p>but I meant, are you asking a question?</p>



<a name="176498779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498779">(Sep 24 2019 at 19:45)</a>:</h4>
<p>ah no, just linking the section.</p>



<a name="176498785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498785">(Sep 24 2019 at 19:45)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="176498824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498824">(Sep 24 2019 at 19:46)</a>:</h4>
<p>so ... I guess one of my questions would be ... were you able to collect some info to be added in some way to the guide?</p>



<a name="176498872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498872">(Sep 24 2019 at 19:46)</a>:</h4>
<p>I guess if we all have ideas we can put them all together</p>



<a name="176498878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498878">(Sep 24 2019 at 19:46)</a>:</h4>
<p>or I'm wondering how we can do that</p>



<a name="176498898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498898">(Sep 24 2019 at 19:46)</a>:</h4>
<p>unsure if we should talk about that or if we should keep collecting doubts about the lecture</p>



<a name="176498902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498902">(Sep 24 2019 at 19:46)</a>:</h4>
<p>We can perhaps have some dropbox paper doc that we can edit together? or hackmd?</p>



<a name="176498911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498911">(Sep 24 2019 at 19:46)</a>:</h4>
<blockquote>
<p>We can perhaps have some dropbox paper doc that we can edit together? or hackmd?</p>
</blockquote>
<p>yep</p>



<a name="176498916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498916">(Sep 24 2019 at 19:47)</a>:</h4>
<p>I vote for more doubts and more watching.</p>



<a name="176498928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498928">(Sep 24 2019 at 19:47)</a>:</h4>
<p>yep</p>



<a name="176498933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498933">(Sep 24 2019 at 19:47)</a>:</h4>
<p>shoot questions</p>



<a name="176498937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498937">(Sep 24 2019 at 19:47)</a>:</h4>
<p>Upvote for that Dropbox paper idea</p>



<a name="176498949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176498949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176498949">(Sep 24 2019 at 19:47)</a>:</h4>
<p>unsure if I'm able to answer, the idea was to discuss between us and if we have no idea we can ask Niko later</p>



<a name="176499034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499034">(Sep 24 2019 at 19:48)</a>:</h4>
<p>I'm not sure what I'd even put in there, as my main problem is actually formulating precise questions. <br>
I feel I understand the content, especially up to interning, but not enough to explain it in my own words. </p>
<p>I do have the first ten or so minutes in better shape now, but that's just a small portion.</p>



<a name="176499061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499061">(Sep 24 2019 at 19:49)</a>:</h4>
<p>I am pretty much in the same position as <span class="user-mention" data-user-id="209053">@Iñaki Garay</span></p>



<a name="176499066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499066">(Sep 24 2019 at 19:49)</a>:</h4>
<p>Q: is DefId in video this type <code>rustc::hir::def_id::DefId</code>?</p>



<a name="176499072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499072">(Sep 24 2019 at 19:49)</a>:</h4>
<p>Perhaps one specific question is whether the local arena/global arena mechanism still applies, as I thought I saw some efforts around refactoring that</p>



<a name="176499087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499087">(Sep 24 2019 at 19:49)</a>:</h4>
<p>one of the things I've pending is that I know that tcx and gcx were a thing at the moment of the lecture but gcx was removed recently</p>



<a name="176499099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499099">(Sep 24 2019 at 19:49)</a>:</h4>
<blockquote>
<p>Perhaps one specific question is whether the local arena/global arena mechanism still applies, as I thought I saw some efforts around refactoring that</p>
</blockquote>
<p>yeah, what I've just said :)</p>



<a name="176499108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499108">(Sep 24 2019 at 19:49)</a>:</h4>
<p>heh</p>



<a name="176499111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499111">(Sep 24 2019 at 19:49)</a>:</h4>
<blockquote>
<p>Q: is DefId in video this type <code>rustc::hir::def_id::DefId</code>?</p>
</blockquote>
<p>I think so ... let me see</p>



<a name="176499177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499177">(Sep 24 2019 at 19:50)</a>:</h4>
<blockquote>
<blockquote>
<p>Perhaps one specific question is whether the local arena/global arena mechanism still applies, as I thought I saw some efforts around refactoring that</p>
</blockquote>
<p>yeah, what I've just said :)</p>
</blockquote>
<p>anyway, that's not even part of the lecture :), but we can write something down and fix later</p>



<a name="176499196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499196">(Sep 24 2019 at 19:50)</a>:</h4>
<blockquote>
<p>I'm not sure what I'd even put in there, as my main problem is actually formulating precise questions. <br>
I feel I understand the content, especially up to interning, but not enough to explain it in my own words. </p>
<p>I do have the first ten or so minutes in better shape now, but that's just a small portion.</p>
</blockquote>
<p>Afaik in type theory, they mostly communicate stuff using formulas and formal proofs.</p>



<a name="176499222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499222">(Sep 24 2019 at 19:50)</a>:</h4>
<p>or just ignore because probably this part of the rustc-guide won't explain arenas I guess</p>



<a name="176499229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499229">(Sep 24 2019 at 19:50)</a>:</h4>
<p>so we can just refer tcx and done</p>



<a name="176499266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499266">(Sep 24 2019 at 19:51)</a>:</h4>
<blockquote>
<p>I'm not sure what I'd even put in there, as my main problem is actually formulating precise questions. <br>
I feel I understand the content, especially up to interning, but not enough to explain it in my own words. </p>
<p>I do have the first ten or so minutes in better shape now, but that's just a small portion.</p>
</blockquote>
<p>I guess we should all push hard to realize what we don't understand :)</p>



<a name="176499267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499267">(Sep 24 2019 at 19:51)</a>:</h4>
<p>How about we start a document and add these questions there for  a start?</p>



<a name="176499305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499305">(Sep 24 2019 at 19:51)</a>:</h4>
<p>I know it's hard to realize when there are a thousand of new things</p>



<a name="176499310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499310">(Sep 24 2019 at 19:52)</a>:</h4>
<p>I just reserved that book Niko suggested to <span class="user-mention" data-user-id="237257">@Sergey Togi Dashnyam</span></p>



<a name="176499311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499311">(Sep 24 2019 at 19:52)</a>:</h4>
<p>but still it worth trying</p>



<a name="176499378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499378">(Sep 24 2019 at 19:52)</a>:</h4>
<blockquote>
<p>How about we start a document and add these questions there for  a start?</p>
</blockquote>
<p>let me do that</p>



<a name="176499380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499380">(Sep 24 2019 at 19:52)</a>:</h4>
<p>I don't know what interning is... figured I should google that?</p>



<a name="176499389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499389">(Sep 24 2019 at 19:52)</a>:</h4>
<p>Truth be told I enjoy these videos. Totally new territory for me but I think it requires more time, as a result.</p>



<a name="176499404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499404">(Sep 24 2019 at 19:52)</a>:</h4>
<blockquote>
<p>I don't know what interning is... figured I should google that?</p>
</blockquote>
<p>this is a cool question</p>



<a name="176499414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499414">(Sep 24 2019 at 19:52)</a>:</h4>
<p>this is probably explained in a different section of the guide</p>



<a name="176499472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499472">(Sep 24 2019 at 19:54)</a>:</h4>
<p>ahh, it's in the glossary</p>



<a name="176499529"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499529" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499529">(Sep 24 2019 at 19:54)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Ty-lecture-summary--AlamtScYKwx009TKr0QKQ47pAQ-4jFj9bVOLlW7uhIOWHITX" target="_blank" title="https://paper.dropbox.com/doc/Ty-lecture-summary--AlamtScYKwx009TKr0QKQ47pAQ-4jFj9bVOLlW7uhIOWHITX">https://paper.dropbox.com/doc/Ty-lecture-summary--AlamtScYKwx009TKr0QKQ47pAQ-4jFj9bVOLlW7uhIOWHITX</a></p>



<a name="176499534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499534">(Sep 24 2019 at 19:54)</a>:</h4>
<p>start adding things there</p>



<a name="176499703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499703">(Sep 24 2019 at 19:56)</a>:</h4>
<p>editing requires loggin in (to dropbox)?</p>



<a name="176499765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499765">(Sep 24 2019 at 19:56)</a>:</h4>
<blockquote>
<p>I don't know what interning is... figured I should google that?</p>
</blockquote>
<p>you could think about it as an optimization to reduce memory usage. Basically the compiler store types or things in general in a global arena and then in the rest of the code you just have references to that</p>



<a name="176499791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499791">(Sep 24 2019 at 19:57)</a>:</h4>
<blockquote>
<p>editing requires loggin in (to dropbox)?</p>
</blockquote>
<p>unsure, maybe?</p>



<a name="176499793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499793">(Sep 24 2019 at 19:57)</a>:</h4>
<blockquote>
<p>editing requires loggin in (to dropbox)?</p>
</blockquote>
<p>Yes</p>



<a name="176499906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499906">(Sep 24 2019 at 19:58)</a>:</h4>
<p><span class="user-mention" data-user-id="119529">@Tshepang Lekhonkhobe</span> <a href="https://github.com/rust-lang/rust/blob/d76ca2eb6143bd92565ffb61a2b80933bf33488b/src/librustc/hir/def_id.rs#L109" target="_blank" title="https://github.com/rust-lang/rust/blob/d76ca2eb6143bd92565ffb61a2b80933bf33488b/src/librustc/hir/def_id.rs#L109">https://github.com/rust-lang/rust/blob/d76ca2eb6143bd92565ffb61a2b80933bf33488b/src/librustc/hir/def_id.rs#L109</a></p>



<a name="176499932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499932">(Sep 24 2019 at 19:58)</a>:</h4>
<blockquote>
<blockquote>
<p>Q: is DefId in video this type <code>rustc::hir::def_id::DefId</code>?</p>
</blockquote>
<p>I think so ... let me see</p>
</blockquote>
<p>so yes</p>



<a name="176499951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499951">(Sep 24 2019 at 19:58)</a>:</h4>
<p>we are running out of time</p>



<a name="176499986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176499986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176499986">(Sep 24 2019 at 19:59)</a>:</h4>
<p>so ... here is my proposal ...</p>



<a name="176500003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500003">(Sep 24 2019 at 19:59)</a>:</h4>
<p>do we think we need to take another look to the lecture and keep asking async?</p>



<a name="176500010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500010">(Sep 24 2019 at 19:59)</a>:</h4>
<p>and then maybe define a new meeting?</p>



<a name="176500027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500027">(Sep 24 2019 at 19:59)</a>:</h4>
<p>or what do you think is the best way to move forward?</p>



<a name="176500099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500099">(Sep 24 2019 at 20:00)</a>:</h4>
<p>Can I add my Q's at a later point in time to Dropbox?</p>



<a name="176500110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500110">(Sep 24 2019 at 20:00)</a>:</h4>
<p>Yes. I think we can async-ly decide when we need a new meeting.</p>



<a name="176500130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500130">(Sep 24 2019 at 20:00)</a>:</h4>
<p>In Germany it is now 22:00 evening, I need to get up early</p>



<a name="176500143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500143">(Sep 24 2019 at 20:00)</a>:</h4>
<p>And it is not just questions, I think if someone wants to give structure to the doc and start the summary that is fine with me</p>



<a name="176500225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Iñaki Garay <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500225">(Sep 24 2019 at 20:01)</a>:</h4>
<p>We can reuse this topic for discussion, and add questions to the doc, when we collectively decide there are enough we can set another meeting</p>



<a name="176500246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500246">(Sep 24 2019 at 20:02)</a>:</h4>
<p>ok, adding stuff to dropbox doc async is good</p>



<a name="176500387"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500387" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500387">(Sep 24 2019 at 20:03)</a>:</h4>
<p>This meeting was helpful for me, though</p>



<a name="176500404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500404">(Sep 24 2019 at 20:03)</a>:</h4>
<p>I was a bit nervous</p>



<a name="176500426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500426">(Sep 24 2019 at 20:04)</a>:</h4>
<p>why nervous</p>



<a name="176500586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500586">(Sep 24 2019 at 20:05)</a>:</h4>
<blockquote>
<p>Can I add my Q's at a later point in time to Dropbox?</p>
</blockquote>
<p>sure, let's keep adding new questions there</p>



<a name="176500618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500618">(Sep 24 2019 at 20:05)</a>:</h4>
<blockquote>
<p>And it is not just questions, I think if someone wants to give structure to the doc and start the summary that is fine with me</p>
</blockquote>
<p>I can do that yeah</p>



<a name="176500687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500687">(Sep 24 2019 at 20:06)</a>:</h4>
<p>why is dropbox paper preferred over hackmd (I've not used either before)</p>



<a name="176500697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500697">(Sep 24 2019 at 20:06)</a>:</h4>
<blockquote>
<p>why nervous</p>
</blockquote>
<p>lol it is a tough video and i know little</p>



<a name="176500698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500698">(Sep 24 2019 at 20:06)</a>:</h4>
<blockquote>
<p>I was a bit nervous</p>
</blockquote>
<p>hehe yeah, I wonder the same as <span class="user-mention" data-user-id="119529">@Tshepang Lekhonkhobe</span>, why were you nervous?</p>



<a name="176500736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500736">(Sep 24 2019 at 20:06)</a>:</h4>
<blockquote>
<blockquote>
<p>why nervous</p>
</blockquote>
<p>lol it is a tough video and i know little</p>
</blockquote>
<p>my suggestion again is ... try to ask every little doubt that comes to your mind</p>



<a name="176500747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500747">(Sep 24 2019 at 20:07)</a>:</h4>
<p>even if the question is what is Rust? :)</p>



<a name="176500753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500753">(Sep 24 2019 at 20:07)</a>:</h4>
<blockquote>
<p>why is dropbox paper preferred over hackmd (I've not used either before)</p>
</blockquote>
<p>I am fine using either. I suggested both.</p>



<a name="176500757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500757">(Sep 24 2019 at 20:07)</a>:</h4>
<p>it doesn't matter</p>



<a name="176500784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176500784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176500784">(Sep 24 2019 at 20:07)</a>:</h4>
<p>This is encouraging, <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> . Thank you.</p>



<a name="176501072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176501072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176501072">(Sep 24 2019 at 20:10)</a>:</h4>
<blockquote>
<p>This is encouraging, <span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> . Thank you.</p>
</blockquote>
<p>Perhaps we can try to answer the questions ourselves. Will look again at it tomorrow</p>



<a name="176501097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176501097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176501097">(Sep 24 2019 at 20:11)</a>:</h4>
<p>Niko is super busy these days.</p>



<a name="176501277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176501277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176501277">(Sep 24 2019 at 20:13)</a>:</h4>
<p>exactly that's the idea</p>



<a name="176501296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176501296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176501296">(Sep 24 2019 at 20:13)</a>:</h4>
<p>for now <span class="user-mention" data-user-id="116009">@nikomatsakis</span> doesn't seem to be needed</p>



<a name="176501300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176501300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176501300">(Sep 24 2019 at 20:13)</a>:</h4>
<p>Yes, I would hate to disturb Niko.</p>



<a name="176501350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176501350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176501350">(Sep 24 2019 at 20:14)</a>:</h4>
<p>well ... I meant, for the purposes of answering our questions, sure he is very needed elsewhere :P</p>



<a name="176501554"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176501554" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176501554">(Sep 24 2019 at 20:16)</a>:</h4>
<p><span class="user-mention" data-user-id="209053">@Iñaki Garay</span>  I answered your question (I hope... :D)</p>



<a name="176501566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176501566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176501566">(Sep 24 2019 at 20:16)</a>:</h4>
<p>About that interning.</p>



<a name="176501584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176501584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176501584">(Sep 24 2019 at 20:16)</a>:</h4>
<p>that was me that asked</p>



<a name="176501649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176501649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176501649">(Sep 24 2019 at 20:17)</a>:</h4>
<p>what software to use for creating flowcharts?</p>



<a name="176501808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176501808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176501808">(Sep 24 2019 at 20:19)</a>:</h4>
<blockquote>
<p>what software to use for creating flowcharts?</p>
</blockquote>
<p>I do not know. Maybe Lucidcharts or <a href="http://draw.io" target="_blank" title="http://draw.io">draw.io</a>?</p>



<a name="176502008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176502008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sergey Togi Dashnyam <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176502008">(Sep 24 2019 at 20:21)</a>:</h4>
<blockquote>
<blockquote>
<p>what software to use for creating flowcharts?</p>
</blockquote>
<p>I do not know. Maybe Lucidcharts or <a href="http://draw.io" target="_blank" title="http://draw.io">draw.io</a>?</p>
</blockquote>
<p>I like Irina Shestaks sketches. Example:  <a href="https://medium.com/@_lrlna/sketchnotes-from-rustfest-paris-2018-8d985300b4d4" target="_blank" title="https://medium.com/@_lrlna/sketchnotes-from-rustfest-paris-2018-8d985300b4d4">https://medium.com/@_lrlna/sketchnotes-from-rustfest-paris-2018-8d985300b4d4</a></p>



<a name="176502177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176502177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176502177">(Sep 24 2019 at 20:22)</a>:</h4>
<p>They are so nice!</p>



<a name="176502205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176502205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176502205">(Sep 24 2019 at 20:23)</a>:</h4>
<p>you just made me wanna check out 1 or 2 of the videos</p>



<a name="176502246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176502246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176502246">(Sep 24 2019 at 20:23)</a>:</h4>
<p>... especially one by Katherina (I am fan)</p>



<a name="176502278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176502278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176502278">(Sep 24 2019 at 20:24)</a>:</h4>
<p>Katharina? The keynote speaker in CoGoRust?</p>



<a name="176502406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176502406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176502406">(Sep 24 2019 at 20:25)</a>:</h4>
<p>creator of sled, don't know it's same person</p>



<a name="176502521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176502521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176502521">(Sep 24 2019 at 20:26)</a>:</h4>
<p><a href="https://twitter.com/sadisticsystems" target="_blank" title="https://twitter.com/sadisticsystems">https://twitter.com/sadisticsystems</a></p>



<a name="176502524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176502524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176502524">(Sep 24 2019 at 20:26)</a>:</h4>
<p>Please share</p>



<a name="176502537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176502537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176502537">(Sep 24 2019 at 20:26)</a>:</h4>
<p>Ah different person, sorry</p>



<a name="176503267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176503267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176503267">(Sep 24 2019 at 20:33)</a>:</h4>
<blockquote>
<blockquote>
<blockquote>
<p>what software to use for creating flowcharts?</p>
</blockquote>
<p>I do not know. Maybe Lucidcharts or <a href="http://draw.io" target="_blank" title="http://draw.io">draw.io</a>?</p>
</blockquote>
<p>I like Irina Shestaks sketches. Example:  <a href="https://medium.com/@_lrlna/sketchnotes-from-rustfest-paris-2018-8d985300b4d4" target="_blank" title="https://medium.com/@_lrlna/sketchnotes-from-rustfest-paris-2018-8d985300b4d4">https://medium.com/@_lrlna/sketchnotes-from-rustfest-paris-2018-8d985300b4d4</a></p>
</blockquote>
<p>looks like a mistake... katharina didn't give a talk at this conference</p>



<a name="176510470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176510470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176510470">(Sep 24 2019 at 21:56)</a>:</h4>
<p>just saw a question dropped in the paper doc</p>



<a name="176510473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176510473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176510473">(Sep 24 2019 at 21:56)</a>:</h4>
<p><code>Is it still the case that derive can’t be used in the compiler?</code></p>



<a name="176510498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176510498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176510498">(Sep 24 2019 at 21:56)</a>:</h4>
<p>this is about custom derives</p>



<a name="176510548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176510548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176510548">(Sep 24 2019 at 21:58)</a>:</h4>
<p>have just fixed the answer for that one</p>



<a name="176510968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176510968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176510968">(Sep 24 2019 at 22:03)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> no, we're using proc macros pretty extensively already, there's rustc_macros crate which has some custom ones</p>



<a name="176510991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176510991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176510991">(Sep 24 2019 at 22:03)</a>:</h4>
<p>I do recall some problems people have had using e.g. serde_derive in tools, but I _think_ we've either solved them or can</p>



<a name="176511465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176511465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176511465">(Sep 24 2019 at 22:09)</a>:</h4>
<p>(deleted)</p>



<a name="176511591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176511591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176511591">(Sep 24 2019 at 22:10)</a>:</h4>
<blockquote>
<p>Ah different person, sorry</p>
</blockquote>
<p>actually that's her (just saw now)</p>



<a name="176511738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176511738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176511738">(Sep 24 2019 at 22:12)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> no, we're using proc macros pretty extensively already, there's rustc_macros crate which has some custom ones</p>
</blockquote>
<p>ohh good to know</p>



<a name="176511751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176511751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176511751">(Sep 24 2019 at 22:12)</a>:</h4>
<p>let me check what Niko was actually referring to ...</p>



<a name="176511892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176511892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176511892">(Sep 24 2019 at 22:14)</a>:</h4>
<p>it was in this part <a href="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;feature=youtu.be&amp;t=2693" target="_blank" title="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;feature=youtu.be&amp;t=2693">https://www.youtube.com/watch?v=c01TsOsr3-c&amp;feature=youtu.be&amp;t=2693</a></p>
<div class="youtube-video message_inline_image"><a data-id="c01TsOsr3-c" href="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;feature=youtu.be&amp;t=2693" target="_blank" title="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;feature=youtu.be&amp;t=2693"><img src="https://i.ytimg.com/vi/c01TsOsr3-c/default.jpg"></a></div>



<a name="176511913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176511913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176511913">(Sep 24 2019 at 22:14)</a>:</h4>
<p>the reason why <code>EnumTypeFoldableImpl!</code> is used</p>



<a name="176512061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176512061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176512061">(Sep 24 2019 at 22:16)</a>:</h4>
<p>yeah, it's that part that made me ask</p>



<a name="176512559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176512559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176512559">(Sep 24 2019 at 22:22)</a>:</h4>
<blockquote>
<blockquote>
<p>Ah different person, sorry</p>
</blockquote>
<p>actually that's her (just saw now)</p>
</blockquote>
<p>ok, this is embarrassing... so there is spacejam (Tyler Neely, of sled) and spacekookie (Katharina Fey, keynote speaker), and that "space" must be the thing that confused me</p>



<a name="176514049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176514049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176514049">(Sep 24 2019 at 22:42)</a>:</h4>
<blockquote>
<p>the reason why <code>EnumTypeFoldableImpl!</code> is used</p>
</blockquote>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> ^^^</p>



<a name="176514058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176514058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176514058">(Sep 24 2019 at 22:42)</a>:</h4>
<p>let me know if you have more thought about it :)</p>



<a name="176514089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176514089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176514089">(Sep 24 2019 at 22:43)</a>:</h4>
<p>uh, I think Niko may have been right in april -- not sure -- but right now we do definitely have derive macros</p>



<a name="176514103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176514103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176514103">(Sep 24 2019 at 22:43)</a>:</h4>
<p>e.g. <a href="https://github.com/rust-lang/rust/blob/master/src/librustc_macros/src/symbols.rs" target="_blank" title="https://github.com/rust-lang/rust/blob/master/src/librustc_macros/src/symbols.rs">https://github.com/rust-lang/rust/blob/master/src/librustc_macros/src/symbols.rs</a></p>



<a name="176514837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176514837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176514837">(Sep 24 2019 at 22:54)</a>:</h4>
<p>so if I understand correctly the code there can be improved to use a derive macro</p>



<a name="176517843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176517843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176517843">(Sep 24 2019 at 23:06)</a>:</h4>
<p>Indeed, yes, that should be true.</p>



<a name="176602841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176602841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176602841">(Sep 25 2019 at 20:30)</a>:</h4>
<p>hm, much updating has happened on the shared doc I see, "​​The many kinds of types"</p>



<a name="176933993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176933993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176933993">(Sep 30 2019 at 13:55)</a>:</h4>
<p>was tidying up a bit our <a href="https://paper.dropbox.com/doc/Ty-lecture-summary--AlwygwSe9rh1NVn2BB6CaBB9Ag-4jFj9bVOLlW7uhIOWHITX" target="_blank" title="https://paper.dropbox.com/doc/Ty-lecture-summary--AlwygwSe9rh1NVn2BB6CaBB9Ag-4jFj9bVOLlW7uhIOWHITX">summarization of Ty chapter document</a></p>



<a name="176934059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176934059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176934059">(Sep 30 2019 at 13:56)</a>:</h4>
<p>plan to go over it and fill some places and leave it in a better shape so we can collaborate</p>



<a name="176934086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176934086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176934086">(Sep 30 2019 at 13:57)</a>:</h4>
<p>one question though, I was integrating changes from <span class="user-mention" data-user-id="209053">@Iñaki Garay</span> and finishing a little part he covered</p>



<a name="176934093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176934093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176934093">(Sep 30 2019 at 13:57)</a>:</h4>
<p>and reached this <a href="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;feature=youtu.be&amp;t=212" target="_blank" title="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;feature=youtu.be&amp;t=212">https://www.youtube.com/watch?v=c01TsOsr3-c&amp;feature=youtu.be&amp;t=212</a></p>
<div class="youtube-video message_inline_image"><a data-id="c01TsOsr3-c" href="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;feature=youtu.be&amp;t=212" target="_blank" title="https://www.youtube.com/watch?v=c01TsOsr3-c&amp;feature=youtu.be&amp;t=212"><img src="https://i.ytimg.com/vi/c01TsOsr3-c/default.jpg"></a></div>



<a name="176934104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176934104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176934104">(Sep 30 2019 at 13:57)</a>:</h4>
<p>which I don't understand one word Niko is using</p>



<a name="176934133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176934133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176934133">(Sep 30 2019 at 13:57)</a>:</h4>
<p>I understand what he is trying to explain but could be nice if someone decodes exactly the phrase</p>



<a name="176934142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176934142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176934142">(Sep 30 2019 at 13:58)</a>:</h4>
<p>That’s not connected a specific ??? in the program, it’s more the abstract notion of the type itself.</p>



<a name="176958852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176958852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176958852">(Sep 30 2019 at 18:20)</a>:</h4>
<p>"a specific <em>spot</em> in the program"?</p>



<a name="176959272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176959272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176959272">(Sep 30 2019 at 18:24)</a>:</h4>
<blockquote>
<p>"a specific <em>spot</em> in the program"?</p>
</blockquote>
<p>I think so yeah, but in any case spot works with what is meant to be said</p>



<a name="176987711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/176987711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#176987711">(Oct 01 2019 at 00:37)</a>:</h4>
<blockquote>
<p>I have one short question, what does 'morally' mean?</p>
</blockquote>
<p>As a native English speaker, I have been trying to figure that one out for a while. I hear people say it occasionally... I believe in this context they mean "conceptually equivalent" or "the same in essence", though I have no idea what the original of this usage is.</p>



<a name="181735452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/181735452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#181735452">(Nov 23 2019 at 23:20)</a>:</h4>
<p>I made a lot of updates to the chapter please let me know what you think :)</p>



<a name="181735455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/181735455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#181735455">(Nov 23 2019 at 23:20)</a>:</h4>
<p>Feel free to leave comments or edit things</p>



<a name="181735456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/181735456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#181735456">(Nov 23 2019 at 23:20)</a>:</h4>
<p>It looks really close to being done.</p>



<a name="181735461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/181735461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#181735461">(Nov 23 2019 at 23:21)</a>:</h4>
<p>We should decide how we want to integrate the followup questions at the end of the doc</p>



<a name="181735463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/181735463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#181735463">(Nov 23 2019 at 23:21)</a>:</h4>
<p>For example, some of them could go to other chapters of the book</p>



<a name="182058233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058233">(Nov 27 2019 at 21:00)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1380">@WG-learning</span> <a href="https://github.com/rust-lang/rustc-guide/pull/530" target="_blank" title="https://github.com/rust-lang/rustc-guide/pull/530">https://github.com/rust-lang/rustc-guide/pull/530</a></p>



<a name="182058234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058234">(Nov 27 2019 at 21:00)</a>:</h4>
<p>YAY!</p>



<a name="182058238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058238">(Nov 27 2019 at 21:00)</a>:</h4>
<p>congrats everyone</p>



<a name="182058260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058260">(Nov 27 2019 at 21:01)</a>:</h4>
<p>placed the thing on a HackMD to do the latests reviews to it</p>



<a name="182058262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058262">(Nov 27 2019 at 21:01)</a>:</h4>
<p><a href="https://hackmd.io/gwqG8yppTjWPd_uteyWLjw" target="_blank" title="https://hackmd.io/gwqG8yppTjWPd_uteyWLjw">https://hackmd.io/gwqG8yppTjWPd_uteyWLjw</a></p>



<a name="182058276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058276">(Nov 27 2019 at 21:01)</a>:</h4>
<p>as I've stated on github</p>



<a name="182058288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058288">(Nov 27 2019 at 21:01)</a>:</h4>
<p>I think we need to re-read it and see if it makes sense</p>



<a name="182058296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058296">(Nov 27 2019 at 21:01)</a>:</h4>
<p>and after that, probably fixing a bunch of styling issues</p>



<a name="182058298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058298">(Nov 27 2019 at 21:01)</a>:</h4>
<p>I've already seen some &lt;br&gt;s mixed there</p>



<a name="182058306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058306">(Nov 27 2019 at 21:01)</a>:</h4>
<p>but I need a little break from the doc for a bit :)</p>



<a name="182058478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> amanjeev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058478">(Nov 27 2019 at 21:04)</a>:</h4>
<p>Thank you, Santiago !!</p>



<a name="182058995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182058995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182058995">(Nov 27 2019 at 21:12)</a>:</h4>
<p>thank you too :)</p>



<a name="182709514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182709514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tshepang Lekhonkhobe <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182709514">(Dec 05 2019 at 22:00)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span>  a .bak file found its way in that PR?</p>



<a name="182709778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing%20types%20in%20rustc%20lecture%20discussion/near/182709778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Representing.20types.20in.20rustc.20lecture.20discussion.html#182709778">(Dec 05 2019 at 22:03)</a>:</h4>
<p>yeah I was just fixing that and some whitespace errors</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>